Modal Logic / Component-Based Software Engineering (CBSE) / Formal Specification / Formal language / System Development / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type
Software Engineering / Object Oriented Programming / Component-Based Software Engineering (CBSE) / Data Modeling / System Design / Computer Software / Data Structures / System Development / Component Based Software Engineering / Data transfer / Data Model / Design and Development / Software Systems / Complex Structure / Systems Architecture / Data Type / Technology Mapping / Generic model / Computer Software / Data Structures / System Development / Component Based Software Engineering / Data transfer / Data Model / Design and Development / Software Systems / Complex Structure / Systems Architecture / Data Type / Technology Mapping / Generic model